勒让德公式 数论